$x$ : $v$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$[$x$]$,\,$$\lambda$$x$.$v$$\rangle$